-tape bidirectional Turing machine